Towards Verification of UML Class Models using Formal Specification Methods: A Review

Abstract In today s world many elements of our lives are being affected by software and for that we are in greater need of high-quality software The Unified Modeling Language UML is considered the de facto standard for object-oriented software model development UML class diagram plays an important role in the design and specification of software systems A class diagram provides a static description of system component

Software System Model Correctness using Graph Theory: A Review

The Unified Modeling Language UML is the de facto standard for object-oriented software model development The UML class diagram plays an essential role in design and specification of software systems The purpose of a class diagram is to display classes with their attributes and methods hierarchy generalization class relationships and associations general aggregation and composition between classes in one mode

Human Milk Exosomal MicroRNA: Associations with Maternal Overweight/Obesity and Infant Body Composition at 1 Month of Life

Among all the body fluids, breast milk is one of the richest sources of microRNAs (miRNAs). MiRNAs packaged within the milk exosomes are bioavailable to breastfeeding infants. The role of miRNAs in determining infant growth and the impact of maternal overweight/obesity on human milk (HM) miRNAs is poorly understood. The objectives of this study were to examine the impact of maternal overweight/obesity on select miRNAs (miR-148a, miR-30b, miR-29a, miR-29b, miR-let-7a and miR-32) involved in adipogenesis and glucose metabolism and to examine the relationship of these miRNAs with measures of infant body composition in the first 6 months of life. Milk samples were collected from a cohort of 60 mothers (30 normal-weight [NW] and 30 overweight [OW]/obese [OB]) at 1-month and a subset of 48 of these at 3 months of lactation. Relative abundance of miRNA was determined using real-time PCR. The associations between the miRNAs of interest and infant weight and body composition at one, three, and six months were examined after adjusting for infant gestational age, birth weight, and sex. The abundance of miR-148a and miR-30b was lower by 30% and 42%, respectively, in the OW/OB group than in the NW group at 1 month. miR-148a was negatively associated with infant weight, fat mass, and fat free mass, while miR-30b was positively associated with infant weight, percent body fat, and fat mass at 1 month. Maternal obesity is negatively associated with the content of select miRNAs in human milk. An association of specific miRNAs with infant body composition was observed during the first month of life, suggesting a potential role in the infant’s adaptation to enteral nutrition

International validation of the consensus Immunoscore for the classification of colon cancer: a prognostic and accuracy study.

The estimation of risk of recurrence for patients with colon carcinoma must be improved. A robust immune score quantification is needed to introduce immune parameters into cancer classification. The aim of the study was to assess the prognostic value of total tumour-infiltrating T-cell counts and cytotoxic tumour-infiltrating T-cells counts with the consensus Immunoscore assay in patients with stage I-III colon cancer. An international consortium of 14 centres in 13 countries, led by the Society for Immunotherapy of Cancer, assessed the Immunoscore assay in patients with TNM stage I-III colon cancer. Patients were randomly assigned to a training set, an internal validation set, or an external validation set. Paraffin sections of the colon tumour and invasive margin from each patient were processed by immunohistochemistry, and the densities of CD3+ and cytotoxic CD8+ T cells in the tumour and in the invasive margin were quantified by digital pathology. An Immunoscore for each patient was derived from the mean of four density percentiles. The primary endpoint was to evaluate the prognostic value of the Immunoscore for time to recurrence, defined as time from surgery to disease recurrence. Stratified multivariable Cox models were used to assess the associations between Immunoscore and outcomes, adjusting for potential confounders. Harrell's C-statistics was used to assess model performance. Tissue samples from 3539 patients were processed, and samples from 2681 patients were included in the analyses after quality controls (700 patients in the training set, 636 patients in the internal validation set, and 1345 patients in the external validation set). The Immunoscore assay showed a high level of reproducibility between observers and centres (r=0·97 for colon tumour; r=0·97 for invasive margin; p<0·0001). In the training set, patients with a high Immunoscore had the lowest risk of recurrence at 5 years (14 [8%] patients with a high Immunoscore vs 65 (19%) patients with an intermediate Immunoscore vs 51 (32%) patients with a low Immunoscore; hazard ratio [HR] for high vs low Immunoscore 0·20, 95% CI 0·10-0·38; p<0·0001). The findings were confirmed in the two validation sets (n=1981). In the stratified Cox multivariable analysis, the Immunoscore association with time to recurrence was independent of patient age, sex, T stage, N stage, microsatellite instability, and existing prognostic factors (p<0·0001). Of 1434 patients with stage II cancer, the difference in risk of recurrence at 5 years was significant (HR for high vs low Immunoscore 0·33, 95% CI 0·21-0·52; p<0·0001), including in Cox multivariable analysis (p<0·0001). Immunoscore had the highest relative contribution to the risk of all clinical parameters, including the American Joint Committee on Cancer and Union for International Cancer Control TNM classification system. The Immunoscore provides a reliable estimate of the risk of recurrence in patients with colon cancer. These results support the implementation of the consensus Immunoscore as a new component of a TNM-Immune classification of cancer